Binary decision diagram - PDFSEARCH.IO - Document Search Engine

Binary decision diagram
Results: 113

#	Item
81	Sequential Logic Synthesis Using Symbolic Bi-Decompsition Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2009-05-13 19:30:33 Electronic engineering Reed-Muller expansion Function Logic optimization Combinatory logic Canonical form Binary decision diagram Path decomposition Asynchronous logic Mathematics Mathematical logic Boolean algebra
82	ABCD-NL: Approximating Continuous Non-Linear Dynamical Systems using Purely Boolean Models for Analog/Mixed-Signal Verification Aadithya V. Karthik‡ , Sayak Ray, Pierluigi Nuzzo, Alan Mishchenko, Robert Brayton, and Ja Add to Reading List Source URL: aadithyakv.com Language: English - Date: 2014-08-30 07:34:40 Digital signal processing Electromagnetism Analog-to-digital converter Comparator Successive approximation ADC Finite-state machine Extended finite-state machine Boolean circuit Binary decision diagram Electronic engineering Electronics Electronic circuits
83	ZDD and its applications to intelligent processing Shin-ichi Minato Graduate School of Information Science and Technology Add to Reading List Source URL: www.jst.go.jp Language: English - Date: 2010-11-01 01:10:45 Mathematical logic Binary decision diagram Zero-suppressed decision diagram Boolean function Model checking Truth table Negation Algebraic structure Boolean algebra Mathematics Abstract algebra
84	Context-Sensitive Program Analysis as Database Queries Monica S. Lam John Whaley V. Benjamin Livshits Michael C. Martin Dzintars Avots Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2005-06-17 02:30:13 Query languages Static program analysis Data types Computer languages Type theory Datalog Binary decision diagram Monica S. Lam Pointer Computing Software engineering Programming language theory
85	Improved SAT-Based Boolean Matching Using Implicants for LUT-Based FPGAs Jason Cong and Kirill Minkovich Computer Science Department University of California, Los Angeles Los Angeles, CA 90095, USA Add to Reading List Source URL: cadlab.cs.ucla.edu Language: English - Date: 2007-02-13 15:10:27 Mathematical logic Implicant Lookup table Canonical form Boolean satisfiability problem Conjunctive normal form Binary decision diagram Truth table Boolean function Boolean algebra Theoretical computer science Mathematics
86	Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams John Whaley Monica S. Lam Computer Science Department Stanford University Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2004-04-28 04:04:03 Functions and mappings Binary decision diagram Boolean algebra Model checking Models of computation Datalog Data-flow analysis Function Scope Mathematics Mathematical logic Diagrams
87	ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October[removed]Efficient Software Model Checking of Data Structure Properties Paul T. Darga Chandrasekhar Boyapati Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2008-09-12 18:54:00 Binary trees Tree traversal Model checking Red–black tree Binary decision diagram Linked list Stack Invariant Class invariant Graph theory Mathematics Computing
88	Property Analysis and Design Understanding in a Quality-Driven Bounded Model Checking Flow Ulrich K¨uhne Daniel Große Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2009-01-19 06:14:40 Applied mathematics Logic in computer science Boolean algebra Hardware verification languages Diagrams Formal verification Model checking Binary decision diagram Boolean satisfiability problem Theoretical computer science Electronic engineering Formal methods
89	Cyclic Combinational Circuits: Analysis for Synthesis Marc D. Riedel and Jehoshua Bruck California Institute of Technology Mail Code[removed], Pasadena, CA[removed]E-mail: {riedel, bruck}@paradise.caltech.edu Add to Reading List Source URL: www.paradise.caltech.edu Language: English - Date: 2003-04-29 09:12:10 Design Logic in computer science Digital electronics Diagrams Electronic design Combinational logic Binary decision diagram Circuit Logic gate Electronic engineering Theoretical computer science Electronic design automation
90	Analysis of HFE from a BDD point of view J.F Michon LIFAR∗ J.B. Yunes LIAFA† Add to Reading List Source URL: ccc.ustc.edu.cn Language: English - Date: 2006-10-24 07:55:03 Theoretical computer science Binary decision diagram Model checking Cryptography Boolean function Polynomial P Applied mathematics Boolean algebra Mathematics Diagrams

UPDATE